61. Essays on the Foundations of Mathematics
پدیدآورنده : \ Stephen Pollard, editor.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
8
.
6
.
E8
2010
E-Book
,
62. Essays on the foundations of mathematics
پدیدآورنده : / by Moritz Pasch
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics, Philosophy,Logic, Symbolic and mathematical
رده :
E-BOOK
63. Essays on the foundations of mathematics by Moritz Pasch
پدیدآورنده : ]edited by[ Stephen Pollard
کتابخانه: كتابخانه تخصصي و مركز اسناد موسسه آموزش عالي اخلاق و تربيت (قم)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
6
.
P38
2010
64. Finite automata, formal logic, and circuit complexity
پدیدآورنده : / Howard Straubing
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer science- Mathematics,Automata,Logic, Symbolic and mathematical,Computational complexity
رده :
QA76
.
9
.
M35
,
S77
1994
65. Finite automata, formal logic, and circuit complexity
پدیدآورنده : Straubing, Howard, 2591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Mathematics ، Computer science,، Machine theory,، Logic, Symbolic and mathematical,، Computational complexity
رده :
QA
76
.
9
.
M35S77
66. Formal Concept Analysis
پدیدآورنده : \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها ,منطق ریاضی-- کنگرهها ,روشهای صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
67. Formal concept analysis
پدیدآورنده : Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
QA
،
171
.
5
،.
I55
،
2011
68. Foundation; essays in philosophy, logic, mathematics, and economics
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Taxation,، Saving and investment
رده :
QA
8
.
4
.
R35
1978
69. Foundation of abstract mathematics
پدیدآورنده : Kurtz, David C.
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics
رده :
QA
9
.
K797
1992
70. Foundation of abstract mathematics
پدیدآورنده : Kurtz, David C.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics
رده :
QA
9
.
K797
1992
71. Foundational studies
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ; Mathematics. ;
72. Foundations : essays in philosophy, logic, mathematics and economics
پدیدآورنده : Ramsey, Frank Plumpton, 3091-0391
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Taxation,، Saving and investment
رده :
QA
8
.
4
.
R25F6
73. Foundations : essays in philosophy, logic, mathematics and economics
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical,، Taxation,، Saving and investment
رده :
QA
8
.
4
.
R35
1978
74. Foundations : essays in philosophy, logic, mathematics and economics
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical,، Taxation,، Saving and investment
رده :
QA
8
.
4
.
R35
1978b
75. Foundations of logic, 1903-05
پدیدآورنده : Russell, Bertrand, 2781-0791
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
B
1649
.
R91
1983
vol
.
4
76. Foundations of logic and mathematic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. [from old catalog],Mathematics- Philosophy. [from old catalog]
رده :
Q121
.
I5C37
77. Foundations of logic and mathematics
پدیدآورنده : Carnap, Rudolf, 1981-0791.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
Q
121
.
I5
Vol
.
1
No
.
3
78. Foundations of logic and mathematics: applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
رده :
QA
9
.
N53
2002
79. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science -- Mathematics
رده :
QA
9
.
N53
2002
80. Foundations of mathematics
پدیدآورنده : )by( William S. Hatcher,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Mathematics - Philosophy,Logic, Symbolic and mathematical
رده :
QA
.
H34
9